$\forall$$a$, $b$:$\mathbb{Z}$, $n$:$\mathbb{N}$. ($a$ $\leq$ $b$) $\Rightarrow$ (($n$ $\ast$ $a$) $\leq$ ($n$ $\ast$ $b$))